Verifying privacy-type properties of electronic voting protocols

机译：验证电子投票协议的隐私类型属性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Stéphanie Delaune; Steve Kremer; Mark Ryan;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verifying privacy-type properties of electronic voting protocols [J] . Stephanie Delaune, Steve Kremer, Mark Ryan Journal of computer security . 2009,第4期

机译：验证电子投票协议的隐私类型属性
2. Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol [J] . Khaoula Marzouki, Amira Radhouani, Narjes Ben Rajeb International journal of information security and privacy . 2013,第2期

机译：远程电子投票协议的保密性，抗胁迫性和可验证性的形式验证
3. Automatic Verification of Security Properties of Remote Internet Voting Protocol in Symbolic Model [J] . Bo Meng, Wei Huang, Jun Qin Information Technology Journal . 2010,第8期

机译：在符号模型中自动验证远程Internet投票协议的安全性
4. Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster [C] . Stephanie Delaune, Steve Kremer, Mark Ryan Workshop on trustworthy elections . 2010

机译：验证电子投票协议的隐私类型属性：替代品
5. Verifying security properties in electronic voting machines. [D] . Sastry, Naveen K. 2007

机译：验证电子投票机的安全性。
6. Electronic Voting Protocol Using Identity-Based Cryptography [O] . Gina Gallegos-Garcia, Horacio Tapia-Recillas 2015

机译：使用基于身份的密码学的电子投票协议
7. Symbolic verification of privacy-type properties for security protocols with XOR [O] . Baelde, David, Delaune, Stéphanie, Gazeau, Ivan, 2017

机译：使用XOR对安全协议的隐私类型属性进行符号验证

Verifying privacy-type properties of electronic voting protocols

著录项

引文网络

相似文献

相关主题

期刊订阅